Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
341	Deriving Generic Functions by Example Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Data types Functional programming Programming language comparisons Procedural programming languages Cons Lisp List Relational operator Map ALGOL 68 Generalized algebraic data type
342	A Practical Optional Type System for Clojure Ambrose Bonnaire-Sergeant Supervised by Rowan Davies This report is submitted as partial fulfilment Add to Reading List Source URL: s3.amazonaws.com Language: English - Date: 2012-12-09 00:09:47 Functional languages Type theory Type systems Scripting languages Cross-platform software Clojure Gradual typing Functional programming Lisp Type inference Dynamic programming language ML
343	Compiling Dynamic Languages Anders Schlichtkrull, Rasmus T. Tjalk-Bøggild Kongens Lyngby 2013 Compute-B.Sc Add to Reading List Source URL: www2.imm.dtu.dk Language: English Compiler construction Cross-platform software Functional languages Mozilla Web programming Just-in-time compilation Ahead-of-time compilation Program optimization Compiler JavaScript Type system C Sharp
344	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog
345	HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract Add to Reading List Source URL: www.bioinf.uni-leipzig.de Language: English - Date: 2013-05-14 07:18:32 Functional programming Functional languages Data types Type theory Source code Generalized algebraic data type Haskell Type class Lisp Macro Guard Pattern matching
346	A concise guide to VMM Verification Methodology Version 1.2 VMM is available for free download at www.vmmcentral.org VMM Golden Reference Guide First Edition, January 2010 Copyright © 2010 by Doulos Ltd. All rights res Add to Reading List Source URL: vmmcentral.org Language: English - Date: 2010-03-04 18:39:33 Hardware verification languages Hardware description languages SystemVerilog Electronic design automation Logic design E Bus Functional Model Verilog Mentor Graphics Transaction-level modeling Reference Verification Methodology
347	Introduction to newLISP The "Introduction to newLISP" has moved to: http://en.wikibooks.org/wiki/Introduction_to_newLISP Add to Reading List Source URL: www.newlisp.org - Date: 2012-04-22 00:57:46 Functional languages NewLISP Lightweight programming language
348	Evidence for soft preplanning in tonal production: Initial scaling in Romance* Pilar Prieto, Mariapaola D’Imperio!, Gorka Elordieta∧ , Sónia Frota+, & Marina Vigário∨ ICREA & UAB, !Laboratoire Parole et Languag Add to Reading List Source URL: labfon.letras.ulisboa.pt Language: English - Date: 2014-12-23 11:13:23 Tone Phonology Prosody Systemic functional linguistics Phonetics Intonation Boundary tone Romance languages Pitch accent Syllable Focus English language
349	NPRG049— Programovací jazyky OCaml a F# Tomáš Petříček, Functional Programming in F# (the fun way to learn mathematical thinking) Add to Reading List Source URL: tomasp.net - Date: 2016-08-05 06:39:51 Functional languages Object-oriented programming languages OCaml Caml Cross-platform software Functional programming Wacaw Sierpiski Wolfram Mathematica Tom Petek Sierpinski carpet
350	True Sums of Products Edsko de Vries Well-Typed LLP Well-Typed LLP Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Functional programming Data types Type theory Functional languages Programming language comparisons Fold Polymorphism Monad Generic programming Map XS Generalized algebraic data type

UPDATE